(in an outdoor summer pool)